Disjoint NP-pairs from propositional proof systems

For a proof system P we introduce the complexity class DNPP(P) of all disjoint NP-pairs for which the disjointness of the pair is efficiently provable in the proof system P. We exhibit structural properties of proof systems which make the previously defined canonical NP-pairs of these proof systems hard or complete for DNPP(P). Moreover we demonstrate that non-equivalent proof systems can have equivalent canonical pairs and that depending on the properties of the proof systems different scenarios for DNPP(P) and the reductions between the canonical pairs exist

The deduction theorem for strong propositional proof systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs

The Deduction Theorem for Strong Propositional Proof Systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NPUnknown control sequence '\mathsf' -pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NPUnknown control sequence '\mathsf' -pairs

Transport of Cytoplasmically Synthesized Proteins into the Mitochondria in a Cell Free System from Neurospora crassa

Synthesis and transport of mitochondrial proteins were followed in a cell-free homogenate of Neurospora crassa in which mitochondrial translation was inhibited. Proteins synthesized on cytoplasmic ribosomes are transferred into the mitochondrial fraction. The relative amounts of proteins which are transferred in vitro are comparable to those transferred in whole cells. Cycloheximide and puromycin inhibit the synthesis of mitochondrial proteins but not their transfer into mitochondria. The transfer of immunoprecipitable mitochondrial proteins was demonstrated for matrix proteins, carboxyatractyloside-binding protein and cytochrome c. Import of proteins into mitochondria exhibits a degree of specificity. The transport mechanism differentiates between newly synthesized proteins and preexistent mitochondrial proteins, at least in the case of matrix proteins. In the cell-free homogenate membrane-bound ribosomes are more active in the synthesis of mitochondrial proteins than are free ribosomes. The finished translation products appear to be released from the membrane-bound ribosomes into the cytosol rather than into the membrane vesicles. The results suggest that the transport of cytoplasmically synthesized mitochondrial proteins is essentially independent of cytoplasmic translation; that cytoplasmically synthesized mitochondrial proteins exist in an extramitochondrial pool prior to import; that the site of this pool is the cytosol for at least some of the mitochondrial proteins; and that the precursors in the extramitochondrial pool differ in structure or conformation from the functional proteins in the mitochondria

Computational Indistinguishability between Quantum States and Its Cryptographic Application

We introduce a computational problem of distinguishing between two specific quantum states as a new cryptographic problem to design a quantum cryptographic scheme that is "secure" against any polynomial-time quantum adversary. Our problem, QSCDff, is to distinguish between two types of random coset states with a hidden permutation over the symmetric group of finite degree. This naturally generalizes the commonly-used distinction problem between two probability distributions in computational cryptography. As our major contribution, we show that QSCDff has three properties of cryptographic interest: (i) QSCDff has a trapdoor; (ii) the average-case hardness of QSCDff coincides with its worst-case hardness; and (iii) QSCDff is computationally at least as hard as the graph automorphism problem in the worst case. These cryptographic properties enable us to construct a quantum public-key cryptosystem, which is likely to withstand any chosen plaintext attack of a polynomial-time quantum adversary. We further discuss a generalization of QSCDff, called QSCDcyc, and introduce a multi-bit encryption scheme that relies on similar cryptographic properties of QSCDcyc.Comment: 24 pages, 2 figures. We improved presentation, and added more detail proofs and follow-up of recent wor

Comparison of five commercial serological tests for the detection of anti-Chlamydia trachomatis antibodies.

Screening for Chlamydia trachomatis-specific antibodies is valuable in investigating recurrent miscarriage, tubal infertility and extrauterine pregnancy. We compared here the performance of immunofluorescence (IF) to four other commercial tests in detecting IgG antibodies directed against C. trachomatis: two enzyme-linked immunosorbent assays (ELISAs) using the major outer membrane protein (MOMP) as the antigen, commercialised respectively by Medac and R-Biopharm (RB), one ELISA using the chlamydial heat shock protein 60 (cHSP60) as the antigen (Medac), as well as a new automated epifluorescence immunoassay (InoDiag). A total of 405 patients with (n = 251) and without (n = 154) miscarriages were tested by all five tests. The prevalence of C. trachomatis-specific IgG antibodies as determined by the IF, cHSP60-Medac, MOMP-Medac, MOMP-RB and InoDiag was 14.3, 23.2, 14.3, 11.9 and 26.2%, respectively. InoDiag exhibited the highest sensitivity, whereas MOMP-RB showed the best specificity. Cross-reactivity was observed with C. pneumoniae using IF, MOMP-RB and InoDiag, and Parachlamydia acanthamoebae using the cHSP60 ELISA test. No cross-reactivity was observed between C. trachomatis and the other Chlamydiales (Neochlamydia hartmannellae, Waddlia chondrophila and Simkania negevensis). Given its high sensitivity, the new automated epifluorescence immunoassay from InoDiag represents an interesting alternative. The MOMP-based ELISA of R-Biopharm should be preferred for large serological studies, given the high throughput of ELISA and its excellent specificity

Methodology of calculation of construction and hydrodynamic parameters of a foam layer apparatus for mass-transfer processes

Промислова реалізація методу стабілізації газорідинного шару дозволяє значно розширити галузь застосування пінних апаратів і відкриває нові можливості інтенсифікації технологічних процесів з одночасним створенням маловідходних технологій. У статті встановлені основні параметри, що впливають на гідродинаміку пінних апаратів, розглянуті основні конструкції та режими роботи пінних апаратів. Виявлено зв'язок гідродинамічних параметрів. Розглянуто гідродинамічні закономірності пінного шару. Вказані фактори, що впливають на процес масообміну, як в газовій, так і в рідкій фазах. Проведений аналіз ряду досліджень показав, що перспективним напрямком інтенсифікації процесу масообміну є розробка апаратів з трифазним псевдозрідженим шаром зрошуваної насадки складних форм із сітчастих матеріалів. Отже, необхідне проведення спеціальних досліджень гідродинамічних режимів роботи апарату з сітчастою насадкою і визначенням параметрів, що впливають на швидкість переходу насадки з одного режиму в інший.Industrial implementation of the stabilization method of the gas-liquid layer can significantly expand the field of use of foaming apparatus and opens up new opportunities for intensifying technological processes with the simultaneous creation of low-waste technologies. The article establishes the basic parameters influencing the hydrodynamics of foam apparatus, considers the basic constructions and operating modes of foam apparatus. The connection of hydrodynamic parameters is revealed. The hydrodynamic laws of the foam layer are considered. The indicated factors affecting the process of mass transfer, both in the gas and in the liquid phases. The conducted analysis of a number of studies showed that the perspective direction of intensification of the mass transfer process is the development of apparatuses with a three-phase fluidized bed of an irrigated nozzle of complex forms with mesh materials

Public key cryptography and complexity theory

SIGLETIB: RN 4237 (145) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman